Atomatics as mathematical modelling and knowledge representation
نویسندگان
چکیده
منابع مشابه
Knowledge Maps and Mathematical Modelling
Abstract: The aim of our paper is to explain a mathematical model as a special case of symbolic knowledge map. Each knowledge mapping is a visualization of knowledge for the purpose of eliciting, sharing and expanding. Tools of such visualization can be of various types. But in reality many types of so-called knowledge maps are only data flow or information flow diagrams. Our paper will define ...
متن کاملMathematical Knowledge Representation: Semantic Models and Formalisms
The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range of fields of mathematics. We demonstrate applications of this representation in mathematical formula search, and learning.
متن کاملKnowledge Representation as Domains
This is a continuing attempt in a series of papers KM 93, Mur 93, Mur 94] to show how computer-represented knowledge can be arranged as elements of an eeectively represented semantic domain in the sense of GS 90]. We present a direct deductive description of the domain, which was deened semantically in KM 93], via the Scott's notion of information system. Also, the internal structure of the con...
متن کاملNeuron Mathematical Model Representation of Neural Tensor Network for RDF Knowledge Base Completion
In this paper, a state-of-the-art neuron mathematical model of neural tensor network (NTN) is proposed to RDF knowledge base completion problem. One of the difficulties with the parameter of the network is that representation of its neuron mathematical model is not possible. For this reason, a new representation of this network is suggested that solves this difficulty. In the representation, th...
متن کاملRequirements for Building up Large Mathematical Knowledge Bases Workshop on Representation of Mathematical Knowledge Edited
Diierent requirements for the representation of the factual knowledge for the use in mechanised reasoning systems are represented. In particular, we distinguish diier-ent types of knowledge: axioms, deenitions (for introducing concepts like \set" or \group") and theorems (for relating the concepts) for formulating concepts and their relationships, as well as proofs, examples and counterexamples...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1988
ISSN: 0898-1221
DOI: 10.1016/0898-1221(88)90126-5